681. Verification, Model Checking, and Abstract Interpretation :
Author: edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Software engineering.
Classification :
QA76
.
76
.
V47
E358
2013
682. Verification and evaluation of computer and communication systems :
Author: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
Classification :
TK5105
.
5
683. Verified software :
Author: Ruzica Piskac, Philipp Rümmer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
76
.
V47
684. Virtual Environments '99
Author: proceedings of the Eurographics Workshop in Vienna, Austria, May 31 - June 1, 1999 ; (eds) M. Gervautz ... [et al.].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: RÉALITÉ VIRTUELLE + CYBERESPACE (SIMULATION PAR ORDINATEUR),VIRTUAL ENVIRONMENTS (COMPUTER SIMULATION),VIRTUAL ENVIRONMENTS (COMPUTERSIMULATION)
Classification :
QA76
.
9
.
H85
P763
1999
685. Visualization and Mathematics III
Author: edited by Hans-Christian Hege, Konrad Polthier.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Global differential geometry.,Mathematics.,Numerical analysis.,Topology.,Visualization.
686. Web Information Systems Engineering \U+2013\ WISE 2013
Author: edited by Xuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computers.,Data mining.,Software engineering.
687. Web information systems engineering -- WISE 2018 :
Author: Hakim Hacid, Wojciech Cellary, Hua Wang, Hye-Young Paik, Rui Zhou (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Information storage and retrieval systems, Congresses.,Software engineering, Congresses.,Web services, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Data mining.,Expert systems-- knowledge-based systems.,Information retrieval.,Information storage and retrieval systems.,Software engineering.,Web services.
Classification :
TK5105
.
88813
688. Windows PowerShell 2.0 :
Author: William Stanek.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Command languages (Computer science),Scripting languages (Computer science),Systems programming (Computer science),Windows PowerShell (Computer program language),Command languages (Computer science),Command languages (Computer science),Scripting languages (Computer science),Scripting languages (Computer science),Systems programming (Computer science),Systems programming (Computer science),Windows PowerShell (Computer program language),Windows PowerShell (Computer program language)
Classification :
QA76
.
73
.
W56
S74
2009
689. Windows system programming /
Author: Johnson M. Hart.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Microsoft Windows (Computer file),Microsoft Windows (Computer file),Microsoft Windows (Computer file),Application program interfaces (Computer software),Application software-- Development.,Application program interfaces (Computer software),Application program interfaces (Computer software),Application software-- Development.,Application software-- Development.,Computer Science.,Engineering & Applied Sciences.
Classification :
QA76
.
76
.
A65
H373
2010
690. iOS 5 recipes
Author: Shawn Grimes, Colin Francis
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: iOS (Electronic resource),Application software-- Development,iPad (Computer)-- Programming,iPhone (Smartphone)-- Programming,iPod touch (Digital music player)-- Programming
691. Intelligent optimisation techniques: genetic algorithms, tabu search, simulated annealing and neural networks
Author: D. T. Pham and D. Kraboga
Library: Library of Institute For Color Science and Technology (Tehran)
Subject: Engineering--Data processing,Computer--Acided engineering,Heuristic programming,Genetic algorithms,Simulated annealing (Mathematics ),Neural networks (Computer science)
